Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
391	PDF Document Add to Reading List Source URL: www.abc.org.uk Language: English - Date: 2012-05-30 11:54:51 Internet Ad serving Online advertising Google Chrome Verification Software Advertising Computing
392	Functional Programming and Verification Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-11-11 04:16:03 Functional languages Haskell Functional programming OCaml Lisp First-class function ML Clojure E Software engineering Computing Computer programming
393	Integrating Formal Program Verification with Testing Cyrille Comar, Johannes Kanig and Yannick Moy AdaCore, 46 rue d’Amsterdam, FParis (France) {comar,kanig,moy}@adacore.com Abstract Verification activities mand Add to Reading List Source URL: www.adacore.com Language: English - Date: 2012-03-18 14:32:40 Logic in computer science SPARK Subroutine Postcondition Formal methods Formal verification KeY Precondition Global variable Software engineering Computer programming Computing
394	Microsoft Word - simTD@RE2011_final Add to Reading List Source URL: www.simtd.de Language: English - Date: 2014-02-24 04:48:29 Validity Science Software engineering Systems science Formal methods Verification and validation Systems engineering process Validation Software development process Systems engineering Software development Pharmaceutical industry
395	Open Source Software Meets Open Source Hardware: The OpenRISC 1000 Jeremy Bennett, Embecosm Abstract This paper presents the OpenRISC 1200, an open source implementation of the OpenRISC 1000 architecture, verified using Add to Reading List Source URL: www.embecosm.com Language: English - Date: 2013-01-16 23:54:46 Hardware description languages Embedded microprocessors Hardware verification languages OpenRISC Debuggers Verilator Logic design OpenCores SystemC Electronic engineering Electronics Software
396	SAGE SCIENCE INC SageELF IQ/OQRev. A August 26, 2014 Sheet 1 of 11 Prepared by: AlexVira Add to Reading List Source URL: www.sagescience.com Language: English - Date: 2014-08-26 16:09:25 Mathematical software Pharmaceutical industry Validity Intelligence Food safety Verification and validation Toyota iQ IQ Intelligence quotient Science Psychometrics Knowledge
397	Geocent, 12:27 PM Search... Add to Reading List Source URL: gfmorris.net Language: English - Date: 2014-07-13 13:28:02 Software engineering Integrated logistics support Science Technology Systems engineering Verification Requirement
398	SAGE SCIENCE INC BluePippin IQ/OQRev. A Originated: March 5, 2015 Sheet 1 of 11 Prepared by: Alex Vira Add to Reading List Source URL: www.sagescience.com Language: English - Date: 2015-03-09 14:57:13 Knowledge Pharmaceutical industry Validity Food safety Systems engineering Verification and validation Toyota iQ Calibration Sage Science Psychometrics Mathematical software
399	WG 14 N1827 WG14 CFP meeting minutes for the meeting of03/18, 12:00 EST: Attendees: Jim, Rajan, David, Mike, Marius New agenda items: Timing for people available during the WG14 C meeting and means of co Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-04-10 15:43:16 C programming language Parallel computing Application programming interfaces Fortran OpenMP Hardware verification languages Ada Directive C Computing Software engineering Computer programming
400	Job Description – Manager, Design Assurance JOB-xxx www.monteris.com Add to Reading List Source URL: www.monteris.com Language: English - Date: 2014-12-22 14:59:23 Software quality Pharmaceutical industry Validity Systems engineering Quality management Validation Design review Verification and validation Quality assurance Technology Software development Science

UPDATE